python binary string to int